Microsoft Word - IEEE-CAP.16.docx

Source URL: www.cs.cornell.edu

• Computing
• Concurrent computing
• Fault-tolerant computer systems
• Distributed algorithms
• Inter-process communication
• Process theory
• Virtual synchrony
• Database management systems
• Replication
• Vsync
• Paxos
• Consistency model

Composite Replicated Data Types? Alexey Gotsman1 and Hongseok Yang2 1 IMDEA Software Institute 2

Source URL: software.imdea.org

• Data types
• Transaction processing
• Type theory
• Concurrency control
• Consistency model
• Eventual consistency
• Denotational semantics
• Extensible Storage Engine
• Primitive data type
• Parallel computing
• Type system
• Causal consistency

Consistency of Bayes Factor for Nonnested Model Selection When the Model Dimension Grows Min Wang Michigan Technological University

Source URL: iasprogram.ust.hk

PNUTS: Yahoo!’s Hosted Data Serving Platform Brian F. Cooper, Raghu Ramakrishnan, Utkarsh Srivastava, Adam Silberstein, Philip Bohannon, Hans-Arno Jacobsen, Nick Puz, Daniel Weaver and Ramana Yerneni Yahoo! Research A

Source URL: css.csail.mit.edu

• Distributed computing architecture
• Fault-tolerant computer systems
• NoSQL
• Data management
• Consistency model
• Transaction processing
• Replication
• Eventual consistency
• Database
• Distributed database
• Tablet computer
• Scalability

1 Remote Memory Access Programming in MPI-3 Torsten Hoefler, ETH Zurich James Dinan, Intel Corporation Rajeev Thakur, Argonne National Laboratory Brian Barrett, Sandia National Laboratories

Source URL: htor.inf.ethz.ch

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Transaction processing
• Computer memory
• Application programming interfaces
• Programming paradigms
• Message Passing Interface
• Partitioned global address space
• Synchronization
• Consistency model

Replicated Data Types: Specification, Verification, Optimality Sebastian Burckhardt Alexey Gotsman Hongseok Yang

Source URL: software.imdea.org

• Computing
• Data types
• Software engineering
• Computer programming
• Abstract data types
• Fault-tolerant computer systems
• Type theory
• Consistency model
• Transaction processing
• Replication
• String
• List

Data Sharing Analysis for Titanium Ben Liblit liblit@ cs. berkeley. edu Alex Aiken

Source URL: titanium.cs.berkeley.edu

• Computing
• Concurrent computing
• Software engineering
• Parallel computing
• Type theory
• Data types
• Distributed computing architecture
• Benchmark
• Type system
• Type inference
• Consistency model
• Shared memory

A Framework for Transactional Consistency Models with Atomic Visibility Andrea Cerone, Giovanni Bernardi, and Alexey Gotsman IMDEA Software Institute, Madrid, Spain Abstract

Source URL: software.imdea.org

• Transaction processing
• Computing
• Data management
• Data
• Schedule
• Consistency model
• Readwrite conflict
• Writeread conflict
• Snapshot isolation
• Isolation
• Database transaction
• Replication

Understanding Eventual Consistency March 25, 2013 Technical Report MSR-TR

Source URL: software.imdea.org

• Transaction processing
• Data management
• Consistency model
• Eventual consistency
• Consistency
• Causal consistency
• Atomicity
• ACE
• Axiom
• Formalism
• Scalability
• Database

Themis: Enforcing Titanium Consistency on the NOW Carleton Miyamoto and Ben Liblit CS262 Semester Project Report Computer Science Division University of California at Berkeley {miyamoto,liblit}@CS.Berkeley.EDU

Source URL: titanium.cs.berkeley.edu

• Computing
• Cache coherency
• Computer architecture
• Concurrent computing
• Cache coherence
• Consistency model
• Cache memory
• Cache
• Sequential consistency
• MESI protocol
• Dragon write-back update protocol